منابع مشابه
Using Inconsistent Heuristics on A∗ Search
Early research in heuristic search discovered that using inconsistent heuristics in an A∗ search could result in an exponential blow-up in the number of nodes expanded. As a result, the use of inconsistent heuristics has largely disappeared from practice. However, recent research has shown that they can yield dramatic performance improvements to an IDA∗ search using the BPMX enhancement. This p...
متن کاملM Managing Inconsistent Databases Using Active Integrity Constraints Managing Inconsistent Databases Using Active Integrity Constraints
INTRODUCTION Integrity constraints are a fundamental part of a database schema. They are generally used to define constraints on data (functional dependencies, inclusion dependencies , exclusion dependencies, etc.), and their enforcement ensures a semantically correct state of a database. As the presence of data inconsistent with respect to integrity constraints is not unusual, its management p...
متن کاملSpecifications using XQuery Expressions on Traces
This paper contributes to the interoperability of web services by proposing the flexible specification technique SXQT in conjunction with the automatic validation, a straightforward approach for detecting non-conformance. SXQT allows different levels of abstraction by specifying individual requirements on a web service’s protocol, i.e. its SOAP messages and behaviour including SOAP modules. The...
متن کاملthe impact of using inspirational quotes on abstract vocabulary recall
the present study is an attempt to investigate the potential impact of inspirational quotes on improving english abstract vocabulary recall. to achieve this goal, a multiple choice language proficiency test of 60 items including vocabulary and grammar component was administered to a sample of 63 second-semester male and female students whose age ranged between 17 to 22 and they were studying en...
15 صفحه اولUsing Abduction to Evolve Inconsistent Requirements Specifications
Requirements specifications are often inconsistent. Inconsistencies may arise because multiple conflicting requirements are embodied in these specifications, or because the specifications themselves are in a transient stage of evolutionary development. In this paper we argue that such inconsistencies, rather than being undesirable, are actually useful drivers for changing the requirements speci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Erkenntnis
سال: 2011
ISSN: 0165-0106,1572-8420
DOI: 10.1007/s10670-011-9310-2